continuation passing style การใช้

• Tail recursion optimization can be implemented by transforming the program into continuation passing style during compiling, among other approaches.
• Unlike the regular double-negation translation, which maps atomic propositions " p " to ( ( " p " ?! ?" ) ?! ?" ), the continuation passing style replaces ?" by the type of the final expression.